Эпиморфи́зм в категории ― морфизм ${\displaystyle m:A\to B}$, такой что из всякого равенства ${\displaystyle f\circ m=h\circ m}$ следует ${\displaystyle f=h}$ (другими словами, на ${\displaystyle m}$ можно сокращать справа).

Эпиморфизмы представляют собой категорный аналог понятия сюръективной функции, но это не одно и то же. Двойственным к понятию эпиморфизм является понятие мономорфизма; эпиморфизм, являющийся одновременно и мономорфизмом, называется биморфизмом.